“소거 규칙”으로 총 1건 검색

• 소거 규칙, 消去規則, elimination rule

  삼단 논법을 이용하여 논리 문장에서 ‘→(imples)’를 제거하는 규칙. 즉 X와 X→Y라는 문장이 데이터베이스 내에 있으면, 두 문장이 참일 경우 삼단 논법에 의해 ‘→’를 제거한 Y만을 데이터베이스에 저장할 수 있는 규칙이다.